Dependently typed programming - PDFSEARCH.IO - Document Search Engine

Dependently typed programming
Results: 102

#	Item
91	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
92	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic
93	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: wiki.portal.chalmers.se Language: English - Date: 2010-06-22 17:03:15 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
94	Algebraic Meta-Theories and Synthesis of Equational Logics Research Programme Marcelo Fiore Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-09-14 11:37:32 Dependently typed programming Type theory Grammar Algebraic structures Model theory Logical framework Universal algebra First-order logic Equational logic Mathematics Logic Mathematical logic
95	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
96	Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2012-11-06 09:48:46 Functional languages Functional programming Scripting languages Lisp programming language Type theory Agda Lambda calculus ECMAScript JavaScript Computing Software engineering Computer programming
97	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus
98	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-09-21 05:09:48 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
99	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
100	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics

UPDATE